Generalized algebraic data type - PDFSEARCH.IO - Document Search Engine

Generalized algebraic data type
Results: 55

#	Item
11	True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Functional programming Data types Type theory Functional languages Programming language comparisons Fold Polymorphism Monad Generic programming Map XS Generalized algebraic data type
12	Deriving Generic Functions by Example Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
13	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-09-10 01:45:47 Software engineering Computer programming Computing Functional languages Data types Procedural programming languages Functional programming Type theory Generalized algebraic data type OCaml ML Caml
14	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
15	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance
16	DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Functional languages Programming language implementation Generalized algebraic data type Syntax Domain-specific language Haskell
17	[Faculty of Science Information and Computing Sciences] Polymorphic Contexts FP-Dag 2015 Doaitse Swierstra Add to Reading List Source URL: wwwhome.cs.utwente.nl Language: English - Date: 2015-01-14 05:57:45 Computing Data types Software engineering Functional programming Knowledge representation Dependently typed programming Generalized algebraic data type Type theory Rm Tree
18	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
19	The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:35:59 Functional languages OCaml Control flow Procedural programming languages Caml Generalized algebraic data type Eval ML Expr Computing Software engineering Computer programming
20	The Utrecht Agda Compiler Submitted to TFP 2015 Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra Universiteit Utrecht, Netherlands http://www.uu.nl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Functional languages Type theory Procedural programming languages Agda Data types Functional programming Haskell Dependent type Generalized algebraic data type Software engineering Computing Computer programming